305 research outputs found

    First order linear logic in symmetric monoidal closed categories

    Get PDF

    Can China overcome the difficulties of establishing successful global brands?

    Get PDF
    Abstract It is clear to most observers that China is taking an increasing role in world trade not only through political interventions but as a result of its strategy regarding acquisitions. There have been a significant number of these recently, some of which like the Rover take over in the UK and more recently Geely taking over Volvo, have been high profile. This paper provides a brief overview of these developments. It is then argued that an important issue facing the Chinese companies involved in these take overs is one of brand equity and country of origin effects. This issue is of equal importance to China’s global competitors as well. A review of the literature shows that consumer perception constructs, such as perceived quality, have been well researched through numerous country-of-origin papers. A key issue to explore here however, is the extent to which the new nationality of brand ownership will have an impact on consumer perception constructs of brand equity. This paper discusses these two areas and examines their relationship in conceptual terms. A research agenda is then suggested, which forms the basis of a proposed interpretative project aimed at establishing the views of consumers regarding the phenomenon of well known brands being taken over by a new country of origin - evidence from the car industry draws on the progress being made in this area. The research aims to examine the implications for consumer based valuations of brand equity and the types of new strategic thinking this could engender. It is argued that the Chinese brand lacks the main components for global success in several areas though in time these factors will be addressed. .In the short term more focus will be made on supplying the local Chinese market though experienced gained from increased exports of components and collaboration in research from abroad as shown in the examples of the car industry will help strengthen the reputation of Chinese products in the longer term as well as helping to establish more Chinese global brands

    An Improved Implementation and Abstract Interface for Hybrid

    Full text link
    Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

    Cost-Effectiveness of Robot-Assisted Radical Cystectomy vs Open Radical Cystectomy for Patients With Bladder Cancer

    Get PDF
    IMPORTANCE: The value to payers of robot-assisted radical cystectomy with intracorporeal urinary diversion (iRARC) when compared with open radical cystectomy (ORC) for patients with bladder cancer is unclear. OBJECTIVES: To compare the cost-effectiveness of iRARC with that of ORC. DESIGN, SETTING, AND PARTICIPANTS: This economic evaluation used individual patient data from a randomized clinical trial at 9 surgical centers in the United Kingdom. Patients with nonmetastatic bladder cancer were recruited from March 20, 2017, to January 29, 2020. The analysis used a health service perspective and a 90-day time horizon, with supplementary analyses exploring patient benefits up to 1 year. Deterministic and probabilistic sensitivity analyses were undertaken. Data were analyzed from January 13, 2022, to March 10, 2023. INTERVENTIONS: Patients were randomized to receive either iRARC (n = 169) or ORC (n = 169). MAIN OUTCOMES AND MEASURES: Costs of surgery were calculated using surgery timings and equipment costs, with other hospital data based on counts of activity. Quality-adjusted life-years were calculated from European Quality of Life 5-Dimension 5-Level instrument responses. Prespecified subgroup analyses were undertaken based on patient characteristics and type of diversion. RESULTS: A total of 305 patients with available outcome data were included in the analysis, with a mean (SD) age of 68.3 (8.1) years, and of whom 241 (79.0%) were men. Robot-assisted radical cystectomy was associated with statistically significant reductions in admissions to intensive therapy (6.35% [95% CI, 0.42%-12.28%]), and readmissions to hospital (14.56% [95% CI, 5.00%-24.11%]), but increases in theater time (31.35 [95% CI, 13.67-49.02] minutes). The additional cost of iRARC per patient was £1124 (95% CI, -£576 to £2824 [US 1622(951622 (95% CI, -831 to 4075)])withanassociatedgaininqualityadjustedlifeyearsof0.01124(954075)]) with an associated gain in quality-adjusted life-years of 0.01124 (95% CI, 0.00391-0.01857). The incremental cost-effectiveness ratio was £100 008 (US 144 312) per quality-adjusted life-year gained. Robot-assisted radical cystectomy had a much higher probability of being cost-effective for subgroups defined by age, tumor stage, and performance status. CONCLUSIONS AND RELEVANCE: In this economic evaluation of surgery for patients with bladder cancer, iRARC reduced short-term morbidity and some associated costs. While the resulting cost-effectiveness ratio was in excess of thresholds used by many publicly funded health systems, patient subgroups were identified for which iRARC had a high probability of being cost-effective. TRIAL REGISTRATION: ClinicalTrials.gov Identifier: NCT03049410

    Association of Presence and Pattern of MRI Markers of Cerebral Small Vessel Disease With Recurrent Intracerebral Hemorrhage.

    Get PDF
    BACKGROUND Assessing the risk of recurrent intracerebral hemorrhage (ICH) is of high clinical importance. MRI-based cerebral small vessel disease (SVD) markers may help establish ICH etiological subtypes (including cryptogenic ICH) relevant for recurrence risk. METHODS We investigated the risk of recurrent ICH in a large cohort of consecutive ICH survivors with available MRI at baseline. Patients with macrovascular, structural or other identified secondary causes (other than SVD) were excluded. Based on MRI findings, ICH etiology was defined as probable cerebral amyloid angiopathy (CAA) according to the Boston 2.0 criteria, arteriolosclerosis (non-lobar ICH and additional markers of arteriolosclerosis, absent lobar hemorrhagic lesions), mixed SVD (mixed deep and lobar hemorrhagic changes) or cryptogenic (no MRI markers of SVD). Recurrent ICH was determined using electronic health records and confirmed by neuroimaging. Data from an independent multi-center cohort (CROMIS-2 ICH) was used to confirm core findings. RESULTS Of 443 patients with ICH (mean age 67±13 years, 41% female), ICH etiology was mixed SVD in 36.7%, arteriolosclerosis in 23.6%, CAA in 23.0%, and cryptogenic in 16.7%. During a median follow-up period of 5.7 years (IQR 2.9-10.0, 2682 patient-years), recurrent ICH were found in 59 individual patients (13.3%). The highest recurrence rate per 100 person-years was detected in patients with CAA (8.5, 95% CI 6.1-11.7), followed by mixed SVD (1.8, 95% CI 1.1-2.9) and arteriolosclerosis (0.6, 95% CI 0.3-1.5). No recurrent ICH occurred in patients with cryptogenic ICH during 510 person-years follow-up (97.5% CI, 0-0.7); this finding was confirmed in an independent cohort (CROMIS-2 ICH, n=216), in which there was also no recurrence in patients with cryptogenic ICH. In patients with CAA, cortical superficial siderosis was the imaging feature strongest related with ICH recurrence (hazard ratio 5.7, 95% CI 2.4-13.6). CONCLUSIONS MRI-based etiological subtypes are helpful in determining the recurrence risk of ICH; while the highest recurrence risk was found in CAA, recurrence risk was low for arteriolosclerosis, and negligible for cryptogenic ICH

    Association of Presence and Pattern of MRI Markers of Cerebral Small Vessel Disease With Recurrent Intracerebral Hemorrhage

    Get PDF
    BACKGROUND: Assessing the risk of recurrent intracerebral hemorrhage (ICH) is of high clinical importance. MRI-based cerebral small vessel disease (SVD) markers may help establish ICH etiological subtypes (including cryptogenic ICH) relevant for recurrence risk. METHODS: We investigated the risk of recurrent ICH in a large cohort of consecutive ICH survivors with available MRI at baseline. Patients with macrovascular, structural or other identified secondary causes (other than SVD) were excluded. Based on MRI findings, ICH etiology was defined as probable cerebral amyloid angiopathy (CAA) according to the Boston 2.0 criteria, arteriolosclerosis (non-lobar ICH and additional markers of arteriolosclerosis, absent lobar hemorrhagic lesions), mixed SVD (mixed deep and lobar hemorrhagic changes) or cryptogenic (no MRI markers of SVD). Recurrent ICH was determined using electronic health records and confirmed by neuroimaging. Data from an independent multi-center cohort (CROMIS-2 ICH) was used to confirm core findings. RESULTS: Of 443 patients with ICH (mean age 67±13 years, 41% female), ICH etiology was mixed SVD in 36.7%, arteriolosclerosis in 23.6%, CAA in 23.0%, and cryptogenic in 16.7%. During a median follow-up period of 5.7 years (IQR 2.9-10.0, 2682 patient-years), recurrent ICH were found in 59 individual patients (13.3%). The highest recurrence rate per 100 person-years was detected in patients with CAA (8.5, 95% CI 6.1-11.7), followed by mixed SVD (1.8, 95% CI 1.1-2.9) and arteriolosclerosis (0.6, 95% CI 0.3-1.5). No recurrent ICH occurred in patients with cryptogenic ICH during 510 person-years follow-up (97.5% CI, 0-0.7); this finding was confirmed in an independent cohort (CROMIS-2 ICH, n=216), in which there was also no recurrence in patients with cryptogenic ICH. In patients with CAA, cortical superficial siderosis was the imaging feature strongest related with ICH recurrence (hazard ratio 5.7, 95% CI 2.4-13.6). CONCLUSIONS: MRI-based etiological subtypes are helpful in determining the recurrence risk of ICH; while the highest recurrence risk was found in CAA, recurrence risk was low for arteriolosclerosis, and negligible for cryptogenic ICH

    Multi-domain quantitative recovery following Radical Cystectomy for patients within the iROC (Robot Assisted Radical Cystectomy with intracorporeal urinary diversion versus Open Radical Cystectomy) Randomised Controlled Trial: The first 30 patients

    Get PDF
    Many patients develop complications after radical cystectomy (RC) [1]. Reductions in morbidity have occurred through centralisation and technical improvements [2], and perhaps through robot-assisted RC (RARC). Whilst RARC is gaining popularity, there are concerns about oncological safety [3] and extracorporeal reconstruction [4], and randomised controlled trials (RCTs) find little difference [5]. We are conducting a prospective RCT comparing open RC and RARC with mandated intracorporeal reconstruction (Robot-assisted Radical Cystectomy with intracorporeal urinary diversion versus Open Radical Cystectomy [iROC] trial) [6]

    Sex-specific evaluation and redevelopment of the GRACE score in non-ST-segment elevation acute coronary syndromes in populations from the UK and Switzerland: a multinational analysis with external cohort validation.

    Get PDF
    BACKGROUND The Global Registry of Acute Coronary Events (GRACE) 2.0 score was developed and validated in predominantly male patient populations. We aimed to assess its sex-specific performance in non-ST-segment elevation acute coronary syndromes (NSTE-ACS) and to develop an improved score (GRACE 3.0) that accounts for sex differences in disease characteristics. METHODS We evaluated the GRACE 2.0 score in 420 781 consecutive patients with NSTE-ACS in contemporary nationwide cohorts from the UK and Switzerland. Machine learning models to predict in-hospital mortality were informed by the GRACE variables and developed in sex-disaggregated data from 386 591 patients from England, Wales, and Northern Ireland (split into a training cohort of 309 083 [80·0%] patients and a validation cohort of 77 508 [20·0%] patients). External validation of the GRACE 3.0 score was done in 20 727 patients from Switzerland. FINDINGS Between Jan 1, 2005, and Aug 27, 2020, 400 054 patients with NSTE-ACS in the UK and 20 727 patients with NSTE-ACS in Switzerland were included in the study. Discrimination of in-hospital death by the GRACE 2.0 score was good in male patients (area under the receiver operating characteristic curve [AUC] 0·86, 95% CI 0·86-0·86) and notably lower in female patients (0·82, 95% CI 0·81-0·82; p<0·0001). The GRACE 2.0 score underestimated in-hospital mortality risk in female patients, favouring their incorrect stratification to the low-to-intermediate risk group, for which the score does not indicate early invasive treatment. Accounting for sex differences, GRACE 3.0 showed superior discrimination and good calibration with an AUC of 0·91 (95% CI 0·89-0·92) in male patients and 0·87 (95% CI 0·84-0·89) in female patients in an external cohort validation. GRACE 3·0 led to a clinically relevant reclassification of female patients to the high-risk group. INTERPRETATION The GRACE 2.0 score has limited discriminatory performance and underestimates in-hospital mortality in female patients with NSTE-ACS. The GRACE 3.0 score performs better in men and women and reduces sex inequalities in risk stratification. FUNDING Swiss National Science Foundation, Swiss Heart Foundation, Lindenhof Foundation, Foundation for Cardiovascular Research, and Theodor-Ida-Herzog-Egli Foundation

    Is social support pre-treatment associated with prognosis for adults with depression in primary care?

    Get PDF
    OBJECTIVE: Depressed patients rate social support as important for prognosis, but evidence for a prognostic effect is lacking. We aimed to test the association between social support and prognosis independent of treatment type, and the severity of depression, and other clinical features indicating a more severe illness. METHODS: Individual patient data were collated from all six eligible RCTs (n=2858) of adults seeking treatment for depression in primary care. Participants were randomized to any treatment and completed the same baseline assessment of social support and clinical severity factors. Two-stage random effects meta-analyses were conducted. RESULTS: Social support was associated with prognosis independent of randomized treatment but effects were smaller when adjusting for depressive symptoms and durations of depression and anxiety, history of antidepressant treatment, and co-morbid panic disorder: percentage decrease in depressive symptoms at 3-4 months per z-score increase in social support =-4.14(95%CI: -6.91 to -1.29).Those with a severe lack of social support had considerably worse prognoses than those with no lack of social support: increase in depressive symptoms at 3-4 months =14.64%(4.25% to 26.06%). CONCLUSIONS: Overall, large differences in social support pre-treatment were associated with differences in prognostic outcomes. Adding the Social Support scale to clinical assessments may be informative, but after adjusting for routinely assessed clinical prognostic factors the differences in prognosis are unlikely to be of a clinically important magnitude. Future studies might investigate more intensive treatments and more regular clinical reviews to mitigate risks of poor prognosis for those reporting a severe lack of social support
    corecore